Symplectic Reduction for Semidirect Products and Central Extensions

This paper proves a symplectic reduction by stages theorem in the context of geometric mechanics on symplectic manifolds with symmetry groups that are group extensions. We relate the work to the semidirect product reduction theory developed in the 1980’s by Marsden, Ratiu, Weinstein, Guillemin and Sternberg as well as some more recent results and we recall how semidirect product reduction finds use in examples, such as the dynamics of an underwater vehicle. We shall start with the classical cases of commuting reduction (first appearing in Marsden and Weinstein [1974]) and present a new proof